Warren Keith Sinclair, PhD

Warren Keith Sinclair (1924-2014).

Keith Simmons

Computer scientists use formal verification to attempt to provide guarentees to the users of software about the run time characteristics of a given program. Verification techniques today often require a TCB or Trusted Code Base which due to time or effort constraints, the authors were not able to prove correct. When bugs occure in these pieces, they break down the strong guarentees of formal ve...

The National Council on Radiation Protection and Measurements: a growing structure.

Honorary Vice President Dr. Kenneth R. Kase has been selected to give the 12th Warren K. Sinclair Keynote Address at the 2015 Annual Meeting of the National Council on Radiation Protection and Measurements (NCRP). The Address, entitled Influence of the NCRP on Radiation Protection in the United States: Guidance and Regulation, which will be a featured presentation at the 51st NCRP Annual Meetin...

Glomerulonephritis Keith

Early diagnosis of glomerulonephritis (GN) in the adolescent is important in initiating appropriate treatment and controlling chronic glomerular injury that may eventually lead to end-stage renal disease (ESRD). The spectrum of GN in adolescents is more similar to that seen in young and middle-aged adults than to that observed in prepubertal children. In this article, the authors discuss the cl...

Profile: Dr Simon Sinclair

a spiky intelligent bird, looking for a worm to pounce on. Useful in the context of a participant-observer study of medical acculturation which he published as Making Doctors (1997). This laser beam of anthropological analysis was recently cited by the Royal College of Psychiatrists’ President Simon Wessely as the book all doctors should read. Sinclair has now turned his attention to a crucial ...